Constant weakest pre-condition
[计] 恒最弱前置条件
🧩 词语组成解析
a. 弱的( weak的最高级 ); 微弱的; 无说服力的; 淡的
abbr. 炼油工程师（Petroleum Refining Engineer）
condition
[kən'dɪʃən]
n. 状态;环境;健康状况;条款;
vt. 制约;限制;使习惯于;使适应;
vt.& vi. 对…具有重要影响;影响（某事发生的方式）;保持（头发或皮肤等的）健康;养护;
con共同+dit给予+ion抽象名词→共同给出的东西 → 条件
🗣️ 情景例句
She took a medical course.
她选读医学课程。
The wise man knows he knows nothing,the fool thinks the knows all.
聪明人自认一无所知，愚笨人自负无所不晓。
he is lending the bank money, repayment of which he may demand at any time,
就等于把钱借给了银行。这笔钱他可以随时提取，